#  File: 'C:\Users\vincenti\Desktop\testworkspace\wkspace\src\test1_TB\test1_tb3.do'
#  created: 02/10/15 11:08:23
#  from: 'C:\Users\vincenti\Desktop\testworkspace\wkspace\src\test1.asf'
#  by ASFTEST - v.2.1.3 build 56, August 25, 2005

#
# rebuild the project
#
comp "C:\Users\vincenti\Desktop\testworkspace\wkspace\src\test1.asf"
comp "C:\Users\vincenti\Desktop\testworkspace\wkspace\src\test1_TB\test1_tb3.vhd"

#
# set top-level and initialize the simulator with Code Coverage Data
#
asim -cc -cc_dest $DSN/coverage/test1_cc_tb3 -cc_hierarchy -cc_all test1_cfg_tb3

#
# invoke Waveform Viewer window, add signals to Waveform
#
wave
wave -noreg -dec cycle_num
wave -noreg clk
wave -noreg UUT/Sreg0
wave -noreg test_Sreg0
wave -noreg a
wave -noreg enable
wave -noreg reset
wave -noreg UUT/delay_counter_Sreg0
wave -noreg z

#
#
#
run -all
endsim
write wave "C:\Users\vincenti\Desktop\testworkspace\wkspace\src\test1_TB\test1_tb3.awf"
#close -wave
